Designing of Reactive System using Extended Message Sequence Charts
نویسندگان
چکیده
MSC+ is a generalization of hierarchical message sequence charts (hMSCs) having the capability to specify preemptive features such as watchdogs, generalized coregion and forbidden scenarios. In this paper, we shall illustrate the applications of MSC+ to the specification of reactive systems through the example of an Automatic Teller Machine (ATM). We shall bring out the additional advantage of the possibility of integrating asynchronous interface requirements in the realization of prototypes from MSC+ specifications.
منابع مشابه
Deciding Properties for Message Sequence Charts
Message sequence charts (MSC) are commonly used in designing communication systems. They allow describing the communication skeleton of a system and can be used for nding design errors. First, a speciication formalism that is based on MSC graphs, combining nite message sequence charts, is presented. We present then an automatic validation algorithm for systems described using the message sequen...
متن کاملExtending Compositional Message Sequence Graphs
We extend the formal developments for message sequence charts (MSCs) to support scenarios with lost and found messages. We define a notion of extended compositional message sequence charts (ECMSCs) which subsumes the notion of compositional message sequence charts in expressive power but additionally allows to define lost and found messages explicitly. As usual, ECMSCs might be combined by mean...
متن کاملSecurity Modelling for Electronic Commerce: The Common Electronic Purse Specifications
Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Security critical systems are specified with extended structure diagrams, message sequence charts for the protocols and statecharts for the attacker, translated into an AUTOFOCUS system model and examined for security weakne...
متن کاملImplementing Message Sequence Charts in Promela { Preliminary Extended
We have previously de ned a formal semantics for Message Flow Graphs and Message Sequence Charts, capturing most of the syntactic features contained in ITU-T recommendation Z.120. We discuss here a translation of MSCs into the language Promela, and report on experiments executing the Promela code using the SPIN simulator and validator.
متن کاملFrom High Level Message Sequence Charts to BDL Speci cations
This article describes the translation from Message Sequence Charts (a graphical language deening the behaviour of distributed systems) to Behaviour Description Language, a declarative object oriented reactive synchronous language.
متن کامل